Using a recent result of Busch and Gudder, we reconsider a theorem of Ludwig which allows one to identify a class of effect automorphisms as the symmetry transformations in quantum mechanics.

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

Many biological systems experience a periodic environment. Floquet theory is a mathematical tool to deal with such time periodic systems. It is not often applied in biology, because linkage between the mathematics and the biology is not available. To create this linkage, we derive the Floquet theory for natural systems. We construct a framework, where the rotation of the Earth is causing the periodicity. Within this framework the angular momentum operator is introduced to describe the Earth’s rotation. The Fourier operators (...) and the Fourier states are defined to link the rotation to the biological system. Using these operators, the biological system can be transformed into a rotating frame in which the environment becomes static. In this rotating frame the Floquet solution can be derived. Two examples demonstrate how to apply this natural framework. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

Recent preclinical studies have shown the feasibility of specific variants of nuclear transfer to prevent mitochondrial DNA disorders. Nuclear transfer could be a valuable reproductive option for carriers of mitochondrial mutations. A clinical application of nuclear transfer, however, would entail germ-line modification, more specifically a germ-line modification of the mitochondrial genome. One of the most prominent objections against germ-line modification is the fear that it would become possible to alter ‘essential characteristics’ of a future person, thereby possibly violating the child's (...) right to an open future. As only the nuclear DNA would contain the ingredients for individual characteristics, modification of the mtDNA is often considered less controversial than modification of the nuclear DNA. This paper discusses the tenability of this dichotomy. After having clarified the concept of germ-line modification, it argues that modification of the mtDNA is not substantively different from modification of the nuclear DNA in terms of its effects on the identity of the future person. Subsequently the paper assesses how this conclusion affects the moral evaluation of nuclear transfer to prevent mtDNA disorders. It concludes that the moral acceptability of germ-line modification does not depend on whether it alters the identity of the future child—all germ-line modifications do—but on whether it safeguards the child's right to an open future. If nuclear transfer to prevent mtDNA disorders becomes safe and effective, then dismissing it because it involves germ-line modification is unjustified. (shrink)

We argue that natural language has the right degree of representational richness for false belief reasoning, especially the complements under verbs of communication and belief. Language may indeed be necessary synchronically for cross-modular reasoning, but certain achievements in language seem necessary at least diachronically for explicit reasoning about false beliefs.

For the epic journey of autumn migration, long-distance migratory birds use innate and learned information and follow strict schedules imposed by genetic and epigenetic mechanisms, the details of which remain largely unknown. In addition, bird migration requires integrated action of different multisensory systems for learning and memory, and the hippocampus appears to be the integration center for this task. In previous studies we found that contrasting long-distance migratory flights differentially affected the morphological complexity of two types of hippocampus astrocytes. Recently, (...) a significant association was found between the latitude of the reproductive site and the size of the ADCYAP1 allele in long distance migratory birds. We tested for correlations between astrocyte morphological complexity, migratory distances, and size of the ADCYAP1 allele in three long-distance migrant species of shorebird and one non-migrant. Significant differences among species were found in the number and morphological complexity of the astrocytes, as well as in the size of the microsatellites of the ADCYAP1 gene. We found significant associations between the size of the ADCYAP1 microsatellites, the migratory distances, and the degree of morphological complexity of the astrocytes. We suggest that associations between astrocyte number and morphological complexity, ADCYAP1 microsatellite size, and migratory behavior may be part of the adaptive response to the migratory process of shorebirds. (shrink)

BackgroundCommunity engagement within biomedical research is broadly defined as a collaborative relationship between a research team and a group of individuals targeted for research. A Community Advisory Board is one mechanism of engaging the community. Within genomics research CABs may be particularly relevant due to the potential implications of research findings drawn from individual participants on the larger communities they represent. Within such research, CABs seek to meet instrumental goals such as protecting research participants and their community from research-related risks, (...) as well as intrinsic goals such as promoting the respect of participants and their community. However, successful community engagement depends on the degree to which CABs legitimately represent and engage with communities targeted for research. Currently, there is little literature describing the use of CABs in genomics research taking place in developing countries, and even less in the field of genomics research relating to mental illness. The aim of this article is to describe and consider the contributions made by a researcher-driven, population-specific CAB in a genomics of schizophrenia research project taking place in South Africa, from the perspective of the research team.DiscussionFour broad discussion topics emerged during the CAB meetings namely: 1) informed consent procedures, 2) recruitment strategies, 3) patient illness beliefs and stigma experiences, and 4) specific ethical concerns relating to the project. The authors consider these discussions in terms of their contributions to instrumental and intrinsic goals of community engagement.SummaryThe CAB gave valuable input on the consent processes and materials, recruitment strategies and suggested ways of minimizing the potential for stigma and discrimination. All of these contributions were of an instrumental nature, and helped improve the way in which the research took place. In addition, and perhaps more importantly, the CAB made a unique and important contribution relating to intrinsic functions such as promoting the respect and dignity of research participants and their community. This was particularly evident in ensuring sensitivity and respect of the community’s traditional beliefs about schizophrenia and its treatment, and in this way promoting a respectful relationship between the research team and the participants. (shrink)

RESUMO O objetivo deste artigo é analisar a concepção de liberdade encontrada em "Discourses concerning government" de Algernon Sidney. Mantendo a perspectiva republicana, a liberdade é definida pela ausência de dominação, ou seja, pela não submissão, sujeição ou exposição à vontade arbitrária de outra pessoa; e assumindo a perspectiva jusnaturalista, a liberdade é considerada um direito natural, inerente à condição humana, que deve ser preservado e assegurado pela autoridade política. Pretende-se discutir como Sidney articula essas duas perspectivas em sua teoria (...) política, projetando a concepção republicana de liberdade na modernidade.ABSTRACT The objective of this paper is to analyze the concept of freedom found in Algernon Sidney’s "Discourses Concerning government". Keeping the republican thought, freedom is defined by the absence of domination, i.e., the denial of submission, bondage or exposure to the arbitrary will of another person; and taking the jusnaturalist thought, freedom is considered a natural right inherent to the human condition, which must be preserved and guaranteed by the political authority. I intend to discuss how Sidney articulates these two perspectives in his political theory, outlining the republican conception of freedom in modernity. (shrink)

The purpose of this randomized controlled study was to investigate the impact of a 12-week physical education program on the self-efficacy of overweight schoolgirls. We randomly assigned 60 overweight schoolgirls to either an experimental moderate to vigorous aerobic exercise group or a control group that received non-specific regular PE lessons with activities chosen by the curricular teacher mainly focused on team games and sports skills that aimed to achieve general psycho-physical wellness. To assess the starting level of students and significant (...) changes reached, at baseline and after training, a battery of standardized assessment motor tests and a psychometric scale were administered. At the end of the intervention, the experimental group reported a considerable decrease in body mass index and a large improvement in self-efficacy. No significant changes were found in the CG. The results suggested that the 12-week moderate to a vigorous aerobic exercise program is an effective weight loss intervention and a vehicle to promote a range of outcomes important to the qualitative growth of adolescents. In fact, it could provide a positive and significant impact on the self-efficacy of overweight schoolgirls. (shrink)

BackgroundAlthough the number of reporting guidelines has grown rapidly, few have gone through an updating process. The STARD statement (Standards for Reporting Diagnostic Accuracy), published in 2003 to help improve the transparency and completeness of reporting of diagnostic accuracy studies, was recently updated in a systematic way. Here, we describe the steps taken and a justification for the changes made.ResultsA 4-member Project Team coordinated the updating process; a 14-member Steering Committee was regularly solicited by the Project Team when making critical (...) decisions. First, a review of the literature was performed to identify topics and items potentially relevant to the STARD updating process. After this, the 85 members of the STARD Group were invited to participate in two online surveys to identify items that needed to be modified, removed from, or added to the STARD checklist. Based on the results of the literature review process, 33 items were presented to the STARD Group in the online survey: 25 original items and 8 new items; 73 STARD Group members (86 %) completed the first survey, and 79 STARD Group members (93 %) completed the second survey.Then, an in-person consensus meeting was organized among the members of the Project Team and Steering Committee to develop a consensual draft version of STARD 2015. This version was piloted in three rounds among a total of 32 expert and non-expert users. Piloting mostly led to rewording of items. After this, the update was finalized. The updated STARD 2015 list now consists of 30 items. Compared to the previous version of STARD, three original items were each converted into two new items, four original items were incorporated into other items, and seven new items were added.ConclusionsAfter a systematic updating process, STARD 2015 provides an updated list of 30 essential items for reporting diagnostic accuracy studies. (shrink)

In human groups performing oscillatory tasks, it has been observed that the frequency of participants' oscillations reduces when compared to that acquired in solo. This experimental observation is not captured by the standard Kuramoto oscillators, often employed to model human synchronization. In this work, we aim at capturing this observed phenomenon by proposing three alternative modifications of the standard Kuramoto model that are based on three different biologically-relevant hypotheses underlying group synchronization. The three models are tuned, validated and compared against (...) experiments on a group synchronization task, which is a multi-agent extension of the so-called mirror game. (shrink)

Como casi todos los conceptos fi losófi cos, el de «validez normativa» tiene altos grados de ambigüedad y de vaguedad. En este trabajo me encargo de analizar la postura de distintos autores que han tratado de dar respuesta a la pregunta ¿qué significa que una norma sea «válida»? Para ello, tomo como hilo conductor la obra de Ernesto Garzón Valdés. Esto se debe a que los trabajos de Ernesto Garzón dedicados a este tema, le ofrecen al lector un análisis crítico (...) y comprensivo de algunas de las posturas teóricas más relevantes sobre el concepto de validez normativa. Asimismo, trabajar a través de su obra tiene un doble benefi cio: por un lado, no sólo nos permite conocer a fondo la postura teórica de autores que pertenecen a distintas corrientes del pensamiento, como Hans Kelsen, H.L.A. Hart, Francisco Suárez o von Wright por ejemplo, sino que, por el otro, nos permite conocer la postura del mismo Garzón y sus críticas a los diferentes modelos conceptuales. (shrink)

Gentile's philosophy merits the attention of every serious thinker, for it presents the doctrine that reality is spiritual in a more uncompromising form than is to be found elsewhere, and claims to solve on this principle all the great problems that have beset the history of metaphysic. His own name for it is Absolute or Actual Idealism . For Gentile, nothing is real but the Spirit, and by the Spirit he means the pure act of self-conscious thinking. “The subject that (...) conceives itself in conceiving All is the reality itself.” In the act of conscious thinking, the Spirit is present in its entirety as subject ; generating therein by its own creative spontaneity a world of objects, and resolving the products of this act of objectification into the womb that gave them birth. In this immanent dialectic–pure subject , pure object , subject-object –lies the rhythmic life-history of the Spirit. “Our doctrine,” writes Gentile, “is the theory of the Spirit as act which posits its object in a multiplicity of objects, resolving their multiplicity and objectivity in the unity of the subject itself.” For such a doctrine, transcendence is the enemy, the Goliath whom Gentile has gone forth to slay. He confronts us, on almost every page of his writings, with an ineluctable dilemma. Either a philosophy of sheer immanence, or reality is unknowable. (shrink)

The two basic forms of action distinguished in the preceding articles, viz., moral action, where praxis is for praxis sake, and action for a good, where praxis is for the sake of theôria, are found in close relationship to one another in human life. The part they play is rather that of abstract moments in a practical process than that of self-contained and isolable bits of conduct. No philosopher is likely to discount the importance of thus analysing the concrete into (...) its factors before he rectifies the abstraction by showing how they co-operate in actual experience. In any individual biography we can find acts and courses of action in which duty is the dominant motive, and others in which the dominant motive is desire of good. Similarly, when we compare different biographies with one another, some exemplify most strikingly the struggle for righteousness against unruly passion, others the spontaneous aspiration of the soul to attain the goal of its desire. But neither the moral law nor the summum bonum wields an exclusive sovereignty. St. Paul and Luther, in their warfare against carnal desire, drew strength from the ideal vision; nor were St. Bernard or Spinoza, for all their absorption upon union with the divine, strangers to the call of moral obligation. In the lives of ordinary men, the types of conduct are, perhaps, more evenly balanced; yet here also the distinction is discernible. Moreover, it is easy to see how, despite their intrinsic difference, they come to be associated and “by just exchange” to effect a mutual enrichment. (shrink)